MODELLING OF SAFETY-RELATED COMMUNICATIONS FOR RAILWAY APPLICATIONS
نویسندگان
چکیده
منابع مشابه
Formal Modelling of Railway Safety and Capacity
Development of future railway systems requires a rigorous modelling of safety and capacity conducted in an integrated way. Supported by EPSRC and Rail Safety and Standards Board the SafeCap project laid the foundations for overcoming challenges to railway capacity without undermining rail network safety. The main outcome of the project is the SafeCap Toolset, which relies on a formal Domain Spe...
متن کاملThe SafeCap Platform for Modelling Railway Safety and Capacity
This paper describes a tooling platform that supports reasoning about railway capacity while ensuring system safety. It uses a Domain Specific Language (DSL) that allows signalling engineers to design stations and junctions, to check their safety and to evaluate the potential improvements of capacity while applying various alteration patterns that change the railway schemas. The platform uses a...
متن کاملTAS Control Platform: A Platform for Safety-Critical Railway Applications
49 All these systems have an important common feature: they are safety-critical and must therefore be developed according to the highest safety integrity level (SIL4), as defined in the standards applicable to the railway industry (CENELEC 50126, 50128, 50129, Railway Applications Standards [RAMS, software and electronics]). Apart from being suitable for safety-critical operation, railway syste...
متن کاملSpatial modelling of railway noise propagation
In recent decades, population growth and progress of technology have shaped large and compact urban settlements. Existence of huge transportation systems and developed urban infrastructures are among the most important properties of modern cities. In spite of prompt transit and facilitated daily activities, development of transportation systems causes many problems, including traffic, air and n...
متن کاملThe Role of Data in Safety-Related Railway Control Systems
In the production of a computer-based safetyrelated system, it is common to partition the hardware and software elements into a system architecture. The software part of such an arrangement will generally include both the instructions that are executed by the processor(s), and the data that is used and produced by these instructions. In some cases, a large amount of static or configuration data...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science and Transport Progress. Bulletin of Dnipropetrovsk National University of Railway Transport
سال: 2016
ISSN: 2307-6666,2307-3489
DOI: 10.15802/stp2016/83915